This comment is wrong (but I'd say just delete it anyway)