Fixed outdated namespace in basics.h