Small fix to drupal_get_path