remove a couple of const declarations for things which are no longer constant