I think it was just my pedantic side coming out as well. Probably unnecessary on my part. To be pedantic though, technically all comments here aren't strictly necessary. Though I should probably stop now: non productive hairsplitting is something I have to watch out for as I comment :)