fix highlighting bugs introduced by disabled option support. fixes #765 closes #775