minor cleanup :-)