adjusting file structure, per requests of Brian Ripley