Issue #309: fix a Pharo-3.0 bug