minor fix on executed counter