Fixed up error output and assertion result