Fixed another bug in empty symbol matching