Re-instate the double newline in CREDITS.