Personal injury from a workplace accident: report damage quickly?!