Before revision: Other roles within mines that did not involve breaking rock (and thus fit the broader definition) have included: Loader (also called a "bandsman"), who loads the mining carts with coal at the face .
After revision: Other roles within mines that did not involve breaking rock (and thus fit the broader definition) have included: Loader (also called a "bandsman"), who loads the mining carts with coal at the arm .