a minor cleanup