Fix bug in Quaternion ScalaCheck test.