Various minor changes: documentation, formatting, copyright-year