Fixing a simple mistake