Lomagramma yunnanensis Ching, a new synonym from China