Ramcloud: Fix bugs

Signed-off-by: Haomai Wang <haomaiwang@gmail.com>