Another slight update to documentation