Fix two bugs in the drvtrb program