--- a/wp/wp-content/themes/twentytwelve/category.php	Tue Jun 09 11:14:17 2015 +0000
+++ b/wp/wp-content/themes/twentytwelve/category.php	Mon Oct 14 17:39:30 2019 +0200
@@ -27,10 +27,11 @@
 
 			<?php
 			/* Start the Loop */
-			while ( have_posts() ) : the_post();
+			while ( have_posts() ) :
+				the_post();
 
 				/* Include the post format-specific template for the content. If you want to
-				 * this in a child theme then include a file called called content-___.php
+				 * this in a child theme then include a file called content-___.php
 				 * (where ___ is the post format) and that will be used instead.
 				 */
 				get_template_part( 'content', get_post_format() );