fix bad cut/paste error