Fix an incorrect external prototype