Revert "trivial change"

This reverts commit 8de659a62fd1dc1b132f750183aa76df3eeca844.