Cleaning up redundancy in docs