// File not needed in theme but currently a requirement by the WooCommerce plugin.

// Not needed in theme.
<?php wp_link_pages( $args ); ?>

<div id="post-<?php the_ID(); ?>" <?php post_class(); ?>>