minor: added one more assertion for clarity