Just a tweak in my comments. See note from before