Issue #52 : add AUTHORS credit and touch up some whitespace