Proper CIDER integration