For #141: fix docs