Fix error introduced by bad commit yesterday