I think the former was correct...