Fix erroneous commit