Fixes #39. inv: is now highlighted, too