Small fixes and precisions