Pull request for issue #712

Fixes #712. Generated by conveyor-workflow.