Fix incorrectly-formatted platform patch.