fix two more staticdocs errors