Fixing code style on some HoTT code.