String.subscript, fixes #25