Panel page titles cannot be reset from another module

My use case... I'm trying to set a user/% panel so it overrides the user profiles. It does that fine however I want the page title to show the user's name and there is no dynamic way to set that.

After trying to do my own drupal_set_title() it wouldn't work.

When i dug into the module I noticed..

<?php
drupal_set_title(filter_xss_admin(panels_page_get_title($panel_page, 'page', '')));
?>

in function panels_page_view_page.

I changed it to:

<?php

if ($title = filter_xss_admin(panels_page_get_title($panel_page, 'page', ''))) {
    drupal_set_title($title);
  }

?>

and all is well.

What do you think merlin? I didn't submit a patch because it was small and I wanted your input.