Fix type-os in documentation