Polish until you think you are done, and then polish the area one more time.  Most haziness that is left after a repair is due to incomplete polishing.  Remember if you spend 5 minutes with the pre-polish (grey) disk, you should spend at least the same amount of time with the polishing felt.