minor change in Backannotation.scala