bugfix: wrong integer type

but it does not really matter