Virtualmin Framed Theme 3.5 Category Label Missing

The new Virtualmin Framed Theme 3.5 release does a nice job of better categorizing the links in the sidebar menu. However, the last category before the division line separating domain actions from system settings, does not have a label. It appears after "Logs and Reports", and it contains these two links:

Configure DAV Authentication
Edit AWstats Report

Status: 
Closed (fixed)