Fixed bug reported by Fanny.