Fix annotations in Nokia provider.