I don't think this spec is needed here