a small fix for commit 88e7e4eccd3af5ad3a6d377407a19d8a1077cd4c