5fca3de098
Related commit: - a41b46ff430369112bdc9ab2474cb40667c289a3 Motivation: We need a test case for the commit above.