On the definition of normal numbers