Restore installation page style

And correct the usual issue with `empty()`