Fixed an error in instructions for tobinary.