Fixed error response and configured ClaferZ3