Small fix for a margin bug