fixed up KMACHINE name