fix for bug 7913

Three one-line changes to external.c to fix bug 7913.