Fix another namespace error