Insert a critical missing space in front of platform name

For posterity: AAAAAAARRGHHH