Pedant

Someone so stuck getting things "right" they forget learning is supposed to be fun

“A pedant corrects what needn't be corrected, if no meaning is lost let it slide”