Merge in fixes from bristol

safety-sheets.tex

@@ -12,7 +12,7 @@
 
 Make sure you know where the \textbf{emergency stops and fire extinguishers} are. In case of "call 112"-type emergencies, make sure there is someone at the door to let paramedics in. If you have to stay with the wounded, jam the doors open. Bring your key(card)s with you if you have to let emergency personnel in.
 }{
-\action{58}{Wear protective clothing}{Wear tight fitting clothing, keep long hair out tied up, no jewellery or anything else that can be caught by a machine. Consider that others may be working at the space -- and you may be in close range of their machines too.
+\action{58}{Wear protective clothing}{Wear tight fitting clothing, keep long hair tied up, no jewellery or anything else that can be caught by a machine. Consider that others may be working at the space -- and you may be in close range of their machines too.
 
 %Be careful with gloves -- they can be caught in the machine and when made of a sturdy material, help rip your finger off. Observe the `no gloves' signs.
 }
@@ -448,13 +448,13 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %: Wood Workshop
 \machinePage{Wood Workshop}{NoMandatory}{
-The wood shop is separate from the rest of the space for dust- and clean-tool control reasons.  
+The wood shop is separated from the rest of the space for dust- and clean-tool control reasons.  
 
 \textbf{Keep wood-tools separate from other tools and free of (machining) oil.}
 
 \textbf{Connect a shopvac/vacuum cleaner to keep the dust under control.}
 }{
-\action{49}{Keep this door closed}{To keep the dust under control}
+\action{49}{Keep the door closed}{To keep the dust under control}
 \action{49}{Keep wood-tools separate}{Try to keep wood- and metal-tools separate; the latter are often oily and can spoil others people work for a long time aftwards}
 \action{58}{Wear protective clothing}{Wear tight fitting clothing, keep long hair out tied up, no jewellery or anything else that can be caught by the machine.}
 \action{51}{Ear protection recommended}{And if you need it - so do our neighbours - so observe the 07-19:00 noise limit.}