Fixed bug in Ravelin