Improve error highlighting about asterisk

Fixes #11