Additional comments and assertion errors