Fix

Suggested by Mirko