small fixup (won't really help)