HTML5 <time> element for GS page dates

[Timbow]

Always used to have 

PHP Code:

<?php get_page_date('F jS, Y'); ?>

to show the last save date of a page.
If I want to use the html5 preferred method of a <time> element so google can read it easier I do this:

Code:

<time class="published" datetime="<?php get_page_date('c'); ?>"><?php get_page_date('F jS, Y'); ?> </time>

Is that right?