some more utilities