fix #3: error while deserializing symbol list with null as a first element