Minor fix regarding Issue #845