Fix for buttons.js (bug 891129)