Fix lab01 broken