Bug in diff