I fatfinger voted on this comment (when I wasn't intending to vote at all). I don't know if it was an upvote or downvote. Whoops! and sorry.