diff --git a/src/wp-admin/options-permalink.php b/src/wp-admin/options-permalink.php
index 2b6e08101c..11ae50f0c9 100644
--- a/src/wp-admin/options-permalink.php
+++ b/src/wp-admin/options-permalink.php
@@ -151,12 +151,24 @@ if ( isset( $_POST['permalink_structure'] ) || isset( $_POST['category_base'] )
 
 	if ( $iis7_permalinks ) {
 		if ( $permalink_structure && ! $using_index_permalinks && ! $writable ) {
-			$message = __( 'You should update your web.config now.' );
+			$message = sprintf(
+				/* translators: %s: web.config */
+				__( 'You should update your %s file now.' ),
+				'<code>web.config</code>'
+			);
 		} elseif ( $permalink_structure && ! $using_index_permalinks && $writable ) {
-			$message = __( 'Permalink structure updated. Remove write access on web.config file now!' );
+			$message = sprintf(
+				/* translators: %s: web.config */
+				__( 'Permalink structure updated. Remove write access on %s file now!' ),
+				'<code>web.config</code>'
+			);
 		}
 	} elseif ( ! $is_nginx && $permalink_structure && ! $using_index_permalinks && ! $writable && $update_required ) {
-		$message = __( 'You should update your .htaccess now.' );
+		$message = sprintf(
+			/* translators: %s: .htaccess */
+			__( 'You should update your %s file now.' ),
+			'<code>.htaccess</code>'
+		);
 	}
 
 	if ( ! get_settings_errors() ) {