Correct a few platform references that were missing