Topology

Consider the level set x²−y²=0 in R². At the origin, why does the regular level set theorem not establish that this level set is a smooth 1-dimensional submanifold?