properly encode default drupal menu