Minor file modifications