Quick update for mine.lua user input.