Added forgotten header and fixed small typo