elaborations are acceptable (WMA kernel bug fixed)

reverts ccceba735773c35248f3c04ce25c7d5827146bde
forgetting defaults to off