Argh, sorry, fix build for previous commit  (was incomplete)