fix another bug in the documentation