tiny fixes in the psgi plugin