the note is ok, leave it, unless @WouterJ thinks otherwise