changes to documentation, formatting