Slightly optimized version of the previous file