add whitelist to docstring for state.highstate