minor documentation reshuffling after merging #56