ngcgui docs: fix empty section error