Add some misc utilities