Normality of X × ω1☆