little fixes, not important