minor fix in constructor