Small fixes

4 jobs for small-fixes in 15 minutes and 13 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Build
passed #186964
docker
build_linux_36

00:05:31

passed #186965
docker
build_linux_37

00:05:28

passed #186962
macosx
build_macosx_36

00:08:13

passed #186963
macosx
build_macosx_37

00:07:55