fix stupid double remove of leading whitespaces in python code.