small fix in resolvers.py