Fix typo in platform docs