Should pool cover be on while pouring cement?