Michael's commit: added missing dependencies.