Fix bug not noticed before.