Corrects erroneous commit. Should fix the build.