The CREATE EVENT TRIGGER synopsis uses thebare word 'filter_value' when it seems <replaceable class="parameter">filter_variable</replaceable>was intended.
Thanks again.