paulo test for a bug