small fix

for convenience