An improved 1D area law for frustration-free systems