Rename PSI to PSI4 as suggested by Michael Banck.