Revert "Minor comment."

This reverts commit 20cd1423a7b08549d447eb0300c777a8ea8039c5.