a few tweaks after repo rename

Fixes Issue #86