The other bug (https://bugs.launchpad.net/checkbox-gui/+bug/1302388) is now marked as fixed, so I'll mark this one as such too.
The other bug (https:/ /bugs.launchpad .net/checkbox- gui/+bug/ 1302388) is now marked as fixed, so I'll mark this one as such too.