Small fixes to kalimenu