A small fix to OS detection