Fix for typo in platform= section