Small bugfix for Fox