Fix #118: update docs