fix bug: invalid integer if negative

update specification