A note on undetected typing errors