fix for https://github.com/swagger-api/swagger-ui/issues/727