Bergsingeniören undertryckte en gäspning.