Fix bad implementation of str.strip

Empty string was badly handled