Minor fix to documentation (need to do a lot more to actually fix it)