* Avoid an undefined warning