Fix wrong filename in tutorial4