Re-added overzelously deleted file