Cosmetic: fixed whitespace and OS name