found bug, documented