change user command section; make sanitizer pass travis-ci badges