Re-add missing blank line introduced in 5253d7d