Fix for https://github.com/openworm/org.geppetto/issues/267