Fixed compile bug in Ravelin