4191cb7b9c
An oversight; this code should probably have been pruned in
20e598abcc.
Signed-off-by: Dan Farina <drfarina@acm.org>