fix #739
bless impl of #739 in spec