Fix documentation mistake (#36)