Small performance issue with alias

There is unecessary call to drupal_get_path_alias() in template_preprocess_flippy() resulting in duplicated query for each node.

$links['prev'] = array(
  'title' => t(variable_get('flippy_prev_label_' . $vars['node']->type, NULL)),
  'href' => empty($nav['prev']) ? '' : drupal_get_path_alias('node/' . $nav['prev']['nid'], 'und'),
);
$links['next'] = array(
  'title' => t(variable_get('flippy_next_label_' . $vars['node']->type, NULL)),
  'href' => empty($nav['next']) ? '' : drupal_get_path_alias('node/' . $nav['next']['nid'], 'und'),
);

This is then used in flippy.tpl.php

<?php print l($link['title'], $link['href'], array('html' => TRUE, 'attributes' => array('title' => $link['title']))); ?>

By default l() function (in fact url()) assumes that second parameter is internal path (not alias). So it performs additional query looking for alias to already aliased path.