Revert "Dummy change"

This reverts commit 10a7a8817a1ab14f51d62f18b4e05668dad4da03.