Update BecomeSpec.scala