Text this: Petrocodon dahuaensis (Gesneriaceae), a new species from the limestone area of Guangxi, China