minor, dumb cleanup