A few utilities