[armedbear-devel] Thanks for the error message fix