bugfix booleanwidth