Protected against a non existent highlight tag as described in #1