Revert last change; will be committed to git