What is an implementation error here?