@tovrstra: I believe this is the default, so this can be dropped?