@Mamute: Fix #3.