Fixes google/blockly#35