Fixup to precedent commit