Minileven: Correct some old text domain glitches.

Looks like these were overlooked since @cfinke pushed
eaa90f9590c061140ba16c5fdbb392fd553177bf in 2012.

Props @deckerweb for pinging me.