[de] fix a recently introduced false alarm