Some more aux functions.