Changed pretty toString of be (a/an [...]) from "be a/an className" to "be (a/an [className])".