fix breakage caused by eef8676 for #25