This seems like a very special case, but it looks correct.