Fix a bug noticed by George
Fix a bug noticed by George

mixminion/mixminion,mixminion/mixminion,crooks/mixminion,mixminion/mixminion,rxcomm/mixminion,reezer/mixminion,reezer/mixminion,rxcomm/mixminion,nmathewson/mixminion,Javex/mixminion,rxcomm/mixminion,rxcomm/mixminion,reezer/mixminion,reezer/mixminion,nmathewson/mixminion,nmathewson/mixminion,crooks/mixminion,Javex/mixminion,crooks/mixminion,nmathewson/mixminion,mixminion/mixminion,crooks/mixminion,Javex/mixminion,Javex/mixminion