Fix #42 -- yes indeed Abstract classes are broken, and now the test case actually finds the cause