Avoid highlighting if someone else has already done it.

This makes it play nice with other plugins.