Fix spelling of 'platform' in comments and doc