John Williams recibió una nominación para los Grammy.