minor change to top margin

This fixes a bug (on my computer if not others) where the top margin
would not be the correct size