fix type of []. applied to a List