Fixed

Fix has been released for this bug report.