Update solidus.h