smaller increase of lazy margin after all