possible fix for #554

waiting for travis to merge ...