Small improvement for CONS.