Small fix in online counting