#917: #889: tweak to markup
opened by thuchacz