Forgot an `empty()` in `index.php`, leading to a false error