#536: #491: markup tweak
opened by thuchacz