Truthfully I'm not very familiar with the header() function, but from a quick look at the PHP documentation you are basically drawing output from other pages.
You should put some code in the user pages (user1.php ...) because if somebody were to figure out that you basically had a bunch of protected pages called user##.php, they could easily load them up directly unless there was some additional way to keep it locked.
you can protect the entire page by adding a few lines of code (ex: user1.php):
if($_SESSION[username]=="user1")
{
content
}
else include("error.html");
That way, if somebody were to directly access user1.php, they would only see the error page, not the actual content.