Minor number bugfix