Minor fix for yesterday's commit
Merge branch 'master' of repository:/srv/git/webfrontend