re-fixed for v13, highlighting was left out briefly