Fix a minor bug found in monkey test