Minor changes

10 jobs for FixSymPy in 45 minutes and 19 seconds (queued for 1 second)