minor fix
merged