#3279 thisis not yet working. Committing just to report an issue with
GOAL core.