Documentation changes and a small change to test18.sml