Small fix for make