Fix a bug which caused test failures