A pixie is a different name for a brownie.