Removed now-useless commented code.