Fix namespace in Section 3