Fix previous erroneous fix ;)