Thymectomy for myasthenia gravis in children.