clean repository

2017-11-27 git: fixup commit in a nutshell