Good catch! I'm not sure what the comment was from, but your fix should be fine.