little fixes...