I just hadn't pushed it yet, because I was actually waiting for you to
have a look at it and give an ACK. because I'm a very unfamiliar with
C#.
I'm going to push this one now, because it's a simple patch that won't
break something.