Fixes #5751: correct typo in filePermissions, missing ;