solves mismatching type to read EventCounter