Fixed an analyzer bug