Oops... Small bug in PolySuite. Let's fix it and test the fix.