correction to bug introduced via #529