Removing the Editor from a WordPress Post Type