Replace String.show with String.toString in documentation

Extends #56.