Fix small troubles
Merge branch 'master' of git@github.com:roboconf/roboconf.github.io.git