Fix break introduced by #768.