Change region highlighting (see #10)