Investigating library bug