a few minor readability improvements