@Gargron bug: favorites number is shown twice

(added screenshot in case it's a language thing, my interface is in Dutch)