fix minor bug in structure matcher