Fix a vanilla bug