post correction function, minor changes to makefile