Minor nitpicking