src(core.py): tweak deregister's api