Why does this not call `counter_incr/5` with an empty options list?