Fixed help message in resolution.py