fix doc error in previous commit (#20)