Bugfix for is.bold