Minor changes, maybe look at it during the weekend

1 job for NoCUDAhatesMe in 114 minutes and 34 seconds (queued for 1 second)
latest