small modifications to