Minor updates, documentation