Fixes issue where the wrong line gets highlighted

Whoops sometimes highlights the wrong line because of a bug in "prettyprint".  This change fixes the issue by replacing empty lines with a space.