Minor changes according to the comments by Nori