Version 0.8: change to a new dict; fix highlight problem