Added comment header for get_resolution().