Small changes to fix bugs and to standardize