Fix typos and errors in Circe configuration