fixed small type/compilation issue