* tiny fix: clean up some unused code