Fix a bug newly discovered