Fixing file permissions incorrectly modified in #859.