Fixed bug #816692: introduced new ERROR_LEVEL_PEDANTIC warning message "unmatched...