Fixes issue #46: use int explicitly