fix the original key addition (should be addition modulo 2^32 instead of xor); reformat the python file to follow pep8