A few more modifications after looking things over