doc fix (thanks amr)