minor fix to t7005.scala