Fixing bugs at #t3sail