Justin extensions

I'd like to know if any of these changes are helpful (or even incorrect). I'm using these changes in a production system.