All the other `#set` directives in that file had no spaces ... so I could not resist to make it look the same. Admittedly had nothing to do with the issue.  Thanks for merging it anyway.