Some assert corrections.