STYLE: Corrected typo - mantis #760