Corrected undocumented changes on previous commit