minor fix to os detection