How about 'pedantry'. I'd go with 'condescending', but that was clearly your intent.