Pedantic comment