I minorna hade man slutat dagens arbete tidigare än vanligt.