Minor updates in comments and attributions.