(Trivial) This comment seems incorrect?