@ kolla

Thanks for the note. My mistake.

How about a nicer tone for future bug reports, though? They would be appreciated even more :)