Fix the markdown formatting for the Executable h3.