Make tags case insensitive

A small style fix as well.