Oh-oh: Many specs rely on wrong implementation