Update front-ends to be in sync with previous commit.