Bug in simple matching