fix up compilation with apologies for the messed up previous commit