Fixing python's string class