Issue #181: updated the documentation accordingly.