User names are down-cased

I'm migrating a CVS server to a SVN server on my box managed by Virtualmin Pro. The CVS user names are all uppercase, so I am trying to set up the same user names for SVN too. It looks like Virtualmin is changing the user names to lower case even though upper case letters are legal, and the Webmin Users and Groups module does allow it.

I tried working around the problem by editing the user account in Webmin and changing the name, but as soon as I edit the account in Virtualmin again then the name changes to lowercase once more.

Status: 
Closed (fixed)