fix some formatting and types in assign-3