Fix indentation in platform_helper.py

Two lines were indented using tabs instead of spaces, and also one less level than needed.