Minor fix on how the error message is printed