Hi Doug,
Thank you for reporting this bug.
You can find the fix here - https://github.com/GluuFederation/fido2/commit/9f044ea54b61f798bfdb862fa2d5906bcf223441
And the issue on Github here - https://github.com/GluuFederation/fido2/issues/22
For now, the workaround you have already applied will serve your purpose and the fix will be available in the next release of Gluu server.