Thanks @adarsh. They're not marked as code elsewhere in this file, so I think they should stay as they are. Good to merge?