See #890: review tweaks

6 jobs for 890-mods-workflow in 3 minutes and 26 seconds (queued for 2 seconds)