WordPress has added both <pre> and <code> tags to my PHP embedded in a post.

Here's an example

<pre><code>register_taxonomy( 'Books', 'post',

array(
    'label' =&gt; __( 'Books' ),
) );

And here's what it should look like

register_taxonomy( 'Books', 'post',

array(
    'label' => __( 'Books' ),
) );

I know the arrow > symbol is changed by the code in my theme but the <pre> and <code> tags are added by a function within the WordPress core.

Does anybody know a filter or function which would enable me to remove these tags so the code displays correctly tags?