Don't highlight line following empty document comments. Fixes #23