Fix markup bug in the codelab