This is always the case, see index.php