Fix a small detail