Fixed bug in deserialization of semanticinfo.