RobertM comments on RobertM’s Shortform

[RobertM]

Thanks for the report, this should be fixed now.