Very minor nit: This line is redundant, given the default.