fix for a serious bug in sequence serialization