A comment explaining why this is here would be helpful