Some tiny functions which may be useful