Add missing username for Docker image
Fix wrong `docker build` cmdline
Merge branch 'else-master'
Merged
Merged