rename button (fixes #19)