Removing extraneous python3 thing