Fix a detail

Fix a detail