Made jmpmakepsf a bit more verbose