Removed ATLAS_BUGFIX from Ravelin