reverted a commit that was apparently unsound