fix bad doc syntax