He’s currently installing a new bathroom for us. Hasn’t got far yet, but the floor tiles have been laid. (No grouting added yet), and we noticed that the floor is slightly convex in the middle. Should he have checked this and flattened it out before tiling? How concerned should we be about this?