Clarify "fail for STM undefined"