Found a bug! It is fixed.