Thanks for the reply; no hard feelings, these things happen. (I'm actually user  when I bother to log in, which isn't often anymore.) I've just fixed the page; hopefully someone else won't revert it now.     