Fix a bug inserted with the last bugfix