Missing definition of "extensions".