minor changes, added <F> vs. z