sml: remove debugging hack