@Mamute: Fix #4.