fix bug in int-constructor