Minor improvements for misawa