Tweaked issue15 text.