Fix some missing vermin tags