Another passing spec, also fix up @check_frozen() with default args.