Taxonomy Menu Not Updated on Deletion of Node

When a node is inserted/updated the Taxonomy Menu is rebuilt to reflect the insert/updated node. However, when deleting a node, the Taxonomy Menu is not rebuilt.

In taxonomy_menu.module, starting at line 62 :

elseif ($op == 'update' or $op == 'insert') {
    menu_rebuild();
}

To fix this the above was changed to include $op == 'delete' :

elseif ($op == 'update' or $op == 'insert' or $op == 'delete') {
    menu_rebuild();
}