Fixing GitHub flavored heading size..