fix doc complaint listed in #353