minor update on @type