Fix markup from r224894.