fix #1: fix documentation