Documenting a minor bug