small typo in fix #423