diff --git a/otherlibs/labltk/support/Makefile b/otherlibs/labltk/support/Makefile
index f03855abc..dd037a2b4 100644
--- a/otherlibs/labltk/support/Makefile
+++ b/otherlibs/labltk/support/Makefile
@@ -17,7 +17,7 @@ CCFLAGS=-I../../../byterun $(TK_DEFS) $(SHAREDCCCOMPOPTS)
 COMPFLAGS=-I $(OTHERS)/win32unix -I $(OTHERS)/unix
 THFLAGS=-I $(OTHERS)/systhreads -I $(OTHERS)/threads
 
-lib$(LIBNAME).$(A) : $(COBJS)
+lib$(LIBNAME).$(A): $(COBJS)
 	$(MKLIB) -o $(LIBNAME) $(COBJS) -ldopt "$(TK_LINK)"
 
 PUBMLI=fileevent.mli protocol.mli textvariable.mli timer.mli \
diff --git a/otherlibs/labltk/support/Makefile.nt b/otherlibs/labltk/support/Makefile.nt
index 67bf904ed..2b0b5ab53 100644
--- a/otherlibs/labltk/support/Makefile.nt
+++ b/otherlibs/labltk/support/Makefile.nt
@@ -1 +1 @@
-include Makefile
\ No newline at end of file
+include Makefile