Revert "Dummy commit"

This reverts commit 39167fe800c84219fdfbf6d9cb187e4a757753b2.