Added imports that were missing from BasicSpec for some reason