Add documentation of a bug