Fix wrong report of CTXSYS synonym.