doc fix #4