Minor revisions to opsys