Use proper int size; fix for #54