Fix a bug in the executable.