Some styling fixes as well as a reminder for AV1137