I feel like 137 already takes care of this, and that @matthelm forgot to remove this line.