Given that may be copy-pasted into actual code, probably worthwhile to do anyway.