a little edit in dev master