bug detected, TODO