Oh, thanks for finding this, it's strange that `ycpc` does not complain...