found the bug mentioned