Quickfix for #1784