indentation correction in shift_left