#258: minor bolding fix