#$%? missed a "not" in one of the comments. Only noticed just after 
send.  Further slight comments improvement attached. Sorry.