Issue #72: oops ... fix repo reference...