Fix previous erroneous commit