fix #5; updated to maui-1.2