Some more small tools