Small fix on OS detection