Attempting to correct borked Python highlighting