minor fix after cleanup