Guys, if I have to slap some code on a plugin in order to prevent the backend from crashing, something is seriously wrong. Particularly as we are talking about a run of mill WP installation.
Please let us know, when you have found and more importantly fixed the bug.