Fix typo in platform= documentation