Fix for example 13