Slight style change for stdio usages