Fix #3: update doc