Doc fix

Thanks to Ting-Yu Lin for the pointer.