Small fix to the makefile