#725: error fixes