A minor update, caused by a recent bug report ;-)