minor fix to the matching