Code defensively to avoid
https://github.com/JPMoresmau/eclipsefp/issues/130