Documenting an irrelevant bug, for now