Another bug in the invenio-doctor fixed; using debugger for development is indeed not good