Richard Henderson doesn't have any credits.