Board Thread:Wiki Discussion/@comment-27713488-20180712031000/@comment-32166397-20180712031823

The name change is fine to me, no problems. The other change seems good as well.