Minor change: use echoerr instead of echohl.