Make autopep happy