fix document, based on snozawa's comment, see #473