Restored code that Git had somehow deleted