Fixing Mike's mistake