minor fix in post