Mini-corrections

References #11.