add pred to avoid two newlines.