add an assertion for #715