Thanks Michael! Too late to fix this for today's release but we shall try to get this fixed before the final release.