Cleaning up after hydraulic cement has dried