I don't think this last assert is needed; you can remove it if you like.