some fixes by fabbot
minor #119 some fixes by fabbot (keradus)

This PR was merged into the master branch.

Discussion
----------

some fixes by fabbot

Commits
-------

aa999e7 some fixes by fabbot