small fix on stderr