The heat may not have been high enough. The key is to cook quickly on very high heat. That way the bok choy cooks while still retaining a tender crunch. Cooking for longer on lower heat results in steamed bok choy that loses its texture.