bugfix for failing example