Revert "Dummy commit"

This reverts commit bbe5ab9286b2ecbe91c480deba353be55a2881d1.