attempt to fix #731
minor