fix error message for #14