Fix style issues in resolver.c