Made progress on HttpProtocol, fixed typos on RecordManager
 and on SessionManager