Small fix suggested by Mounir