Fix documentation error pointed out in #87