diff --git a/doc/system_configuration.md b/doc/system_configuration.md
index 14effee68..6a3c08a43 100644
--- a/doc/system_configuration.md
+++ b/doc/system_configuration.md
@@ -62,7 +62,7 @@ Let's assume we want to use PCI device `0000:04:00.0`. First of all, verify
 that it has an IOMMU group assigned:
 
 ~~~{.sh}
-$ readlink "/sys/bus/pci/devices/0000:00:04.0/iommu_group"
+readlink "/sys/bus/pci/devices/0000:00:04.0/iommu_group"
 ~~~
 
 The output should be e.g.
@@ -100,7 +100,7 @@ The limit can be checked by running the following command as target user:
 (output in kilobytes)
 
 ~~~{.sh}
-$ ulimit -l
+ulimit -l
 ~~~
 
 On Ubuntu 18.04 this returns 16384 (16MB) by default, which is way below
diff --git a/mdl_rules.rb b/mdl_rules.rb
index f9030d54c..7398ce438 100644
--- a/mdl_rules.rb
+++ b/mdl_rules.rb
@@ -3,7 +3,6 @@ exclude_rule 'MD003'
 exclude_rule 'MD004'
 exclude_rule 'MD010'
 rule 'MD013', :line_length => 170
-exclude_rule 'MD014'
 exclude_rule 'MD018'
 exclude_rule 'MD019'
 exclude_rule 'MD020'