TrnC bug report