Short Titles with HTML Special Character

I am using the FV Simpler SEO plugin to also replace longer page/post titles for navigation menus (wp_nav_menu) by the short titles / menu labels FV Simpler SEO provides. In general, this feature works.

But once it comes that the (long) title contains an HTML special character (e.g., “&” like in “find & book”, also a single dash), the plugin does not replace the long title.

The reason is that the string comparison of the function fvseop_filter_menu_callback($matches) fails:

The comparison in line 2556
if ($my_post->post_title == $matches[6]) {
fails. For the case of “find & book” as a title, the string “find & amp; book” (please imagine that there is no space between “&” and “amp;”, but the forum does not show the right string otherwise…) and “find &amp#038; book” are compared which obviously are not the same. Therefore, the string comparison fails and the long title will not be replace by the short menu label. Does anybody have an idea how to solve the source of this error? Of course, I could modify the string comparison, but the string “&amp#038;” looks odd and I’d like to fix the problem where this string is generated…

Thanks for your help.

My current work-around is to replace line 2556:

Instead of
if ($my_post->post_title == $matches[6]) {

I am using
if (wptexturize($my_post->post_title) == $matches[6]) {