minor documentation update related to operating systems