More work on correct counter