minor cleanup after file rename