Should be int, too