Virtualmin Logo Icon Not Displayed in New Theme

Very minor issue, but the Virtualmin logo icon is not loaded when the new Virtualmin Framed Theme is used by a domain administrator, although it works fine for the root user. Instead, it displays as a broken picture. Here is the path:

https://server:10000/images/virtualmin-small.gif

The HTTP GET shows up in the miniserv.log file, and there are no obvious errors. Other images are loaded properly, and they all seem to have the same filesystem permissions.

Status: 
Closed (fixed)