Minor changes on specs