fix some filename errors