Fixes the int problem in #7