Revert "Remove redundant heading"

This reverts commit 59678a12d1c6ef9f93a5c3a53dc024f7a6c97b9b.