Correction for #164