Add regress test for issue72.