Fix bug that disallows user from setting/retaining a predefined tab width