This was non-obvious but it is correct