Fix documentation installation message.