Fixes #961: snippets in html doc not showing