Ramcloud: fix bugs

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