Small fix requested by Tom