fix #754
fix documentation