minor cleanup: removing an unused member