Fix doc notation