fixes (another) bug