Employee was cleaning rock off of the miner. When EE was pushing rock off edge of the miner it pivoted up and caught EE's right middle finger between the rock and the roof causing a laceration to the tip of the finger. The employee received 5 stitches.