Shorten size

This should make the OS a few bytes smaller.