Squashed a tiny bug