Fix last warning about integer size format