#3739 optional type name