Aaron: updating coverage