Add an XXX comment about a small inefficiency. There's no sense in
fixing it, but I think it should be documented.