Fixing a bug in July