Issue #286: more cleanup of potential repository leaks