How much space should be left above a toilet lid for repairs to be made in the tank?