little fixes of hopefully nil significance