Were these added due to a bad merge?