Update standard.hpp