A Note on the Logical Definability of Rational Trace Languages