Pedantic edit