Minor fixes for NumerciBox class