A minor bug fix and a makeRPM.sh script.