added some tiny functions