diff --git a/doc/bugs/Using_Github_as_remote_throws_proxy_errors.mdwn b/doc/bugs/Using_Github_as_remote_throws_proxy_errors.mdwn
index 8d1e1c6983..a05edcb692 100644
--- a/doc/bugs/Using_Github_as_remote_throws_proxy_errors.mdwn
+++ b/doc/bugs/Using_Github_as_remote_throws_proxy_errors.mdwn
@@ -1,4 +1,5 @@
 What steps will reproduce the problem?
+
 1. cd to an already existing git repository that uses Github as a remote, with the remote format similar to git@github.com:user/repo.git
 2. git annex init
 3. git annex status