Ditto: I don't think types are needed here