miners’ knowledge of their rights