Minor updates; mostly textural fixes