Fix doc syntax