Corrected version of operating system name in comment