Minor code cleanup. Removed MutationObserver fiddling because every WebKit browser supports it.