Marginally improve the elegance of the simple HTTP server