quickfix for issue #877