work around an aloha bug