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