Fix documentation highlighting