fixes error when deleting repository

closes #144