minor cleanup: