Bugfix: was double-counting typos.