Fixing a tiny silly bug