Yeah, we've got another bug or two around how we handle operating system names in the API too, I'm not sure what the correct solution should be.