tuned up a few more things related to closing #10