New in release 0.7 of the Mercury distribution