Platform documentation: remove some whitespaces