VOMS server configuration fixes

Minor (but non controversial!) fixes. I suggest to include in 14.8.0 even though it is not critical...