another minor cleanup