Workers fixing the pool floor