A quick fix for #174

This shows where the problem is.