Fix minor oversights
(#449)