Fix bug in SerStatementComparator