Bug correction in FC&L4tranSMART for Postgres