fix #170: typing \asdf throws