indentation update
fix 10a91b7fb on some platforms