No test, but I think this will fix #762.