Some bug-fixing