Some mini-improvements to the Laravel framework