really minor performance-improvement