Update db_pgsql.php

It was actually meant that way. ;)