+ some missing license headers; minor style fixes