document patch()
more bugfixes to String.pad()