(oops thought Github had swallowed a comment but then it reappeared -- edited text for sense, please read in GitHub)