Small fix to strange ident issue.