Documenting bug`