Thanks for the quick correction. The vandal's action is apparently recorded here, should that be of any interest. His edit history appears to show another attempt at vandalism, so I have taken the liberty of reverting that as well.