Re-fixing a bug