Revert "Dummy commit"

This reverts commit ccca1ee522160ab8968953e64199205455d63574.