If we change these dependencies (see comments below), they need to be changed here as well.