fix bug in commit 4c4161ce2bb6ca3e81282d0df27b916349b64a84