Credits for patches by Klaus Espenlaub.