Minor improvement, not worth explaining