Okay, could you maybe squash the commits and force-push? I can see the new commit that fixes the syntax, but for whatever reason, GitHub isn't reflecting it in the PR view. Thanks.