Fixup some platform annotations.
2 files changed