A man with a tool was repairing the machine, which whined.