0.3.8 release; Minor bugfixes in constants.h