Use parentheses around int addition for toString.
Restore reversed selection with vertical bar caret

Restoring a selection would always use the left-shifted vertical bar,
making for a weird looking selection if the previous selection was a
reversed one.