Fixes #127. More user-friendly pocket renaming.