A minor change on serialisation code