I actually just removed these in #21 (I think they were the result of a merge conflict) but I guess there's no harm in having them here.