Minor edits

1 job for dev in 1 minute and 6 seconds
Status Job ID Name Coverage
  Build
passed #175694291
make

00:01:06