Small fixes in Base.h