Fix redifinition not being caught