Yet it may mean miners work harder