Remove a tiny bit of duplication