fixed some trivial stuff