Merge branch 'nkwork3' into 'master'

Small syntax cleanup

See merge request !23
3 jobs for master in 1 minute and 19 seconds (queued for 3 seconds)