VOMS server configuration fixes

Minor (but non controversial!) fixes. I suggest to include in 14.8.0 (https://github.com/quattor/release/issues/49) even though it is not critical...