A few simple string extensions