Fix indentation in platform_helper.py