Add a test for #432

All problems have been fixed in the previous commits, and this now closes #432