Yes - they crept in from another (cancelled) PR.