Fixing up some PHPDocs for HttpStatus