Correct abstraction mistake