#993: when only one module, don't show navigation bar