Fixing OS naming