NOVA: Fix makefile typo