Fix fatal error introduced in last commit.