Fixed #122

But might have screwed up the coloring of other buttons; I'll check.