Small update to make compatible with Aloha 0.23-4