issue #583: fixed wrong paths in documentation