Getting Commenting to work in Red King paper