A few more small corrections.