some style changes; added credits