Some formatting changes, add a-verbs