Adding the modified serialize.repy