Fixing files included with 3b