When to correct congenital ptosis