Minor bugfix in header