Updated comment on string_rotation.py